Connections on String-2-Bundles
Posted by Urs Schreiber
Aspects of this were discussed here:
Higher Gauge Theory and Elliptic Cohomology
The second edge of the cube (higher Cartan connections)
Aspects of this were discussed here:
Higher Gauge Theory and Elliptic Cohomology
The second edge of the cube (higher Cartan connections)
TrackBack URL for this Entry: https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1300
I see you’ve adopted a super-terse style now Urs. “How to get a spinning string from here to there in under sixty seconds” :-)
The idea was:
First give a rough idea about why a connection on a String-bundle should be a 2-functor that locally takes values in the String-2-group.
Then pass to the differential picture of that and discuss morphisms from the tangent algebroid to the String and/or the Chern-Simons Lie -algebra.
The diagrams towards the end will require quite some time to explain, I think.
But maybe I should add more paragraphs as in section 2 “to be skipped on first reading” which give more details.
Nice stuff!
But what is this document supposed to be, Urs? Notes for a talk? A sketch of a paper you’re writing? A treat for café customers only?
I’m interested in part because my talks at the Abel Symposium and the Erwin Schrödinger Institute this summer will cover rather similar material (though not as much of it).
By the way, you refer to a paper I’m writing with Danny. If you want a title for that paper, you can use “A Classifying Space for 2-Bundles”.
Nice stuff!
Thanks!
But what is this document supposed to be, Urs?
It’s been written up for the talk I give on Wednesday in our elliptic workshop.
It’s main purpose is to organize my thoughts on what I will say. I intend to roughly follow the narrative of these notes.
Another intended purpose is as a reference for others. I have made what I thought was a good experience with passing around notes of this kind and then going through these in the talk. That’s the way I did it with my previous -talk last year. I had the impression that it was a good strategy with topics like this, which have a heavy accent both on a nice bird’s eye story but also on lots of technical constructions.
(In this respect I am not satisfied with the present notes, in that they omit too many details, especially towards the end. I ran out of time a little when writing them.)
I’m interested in part because my talks at the Abel Symposium and the Erwin Schrödinger Institute this summer will cover rather similar material
Feel free to use/cite whatever you like. I’d be honored.
By the way, you refer to a paper I’m writing with Danny. If you want a title for that paper, you can use “A Classifying Space for 2-Bundles”.
Good, thanks! I’ll include that. Can’t do so right now, though, because the dork that I am left the LaTeX source on my home PC, to which I have no access over the week.
Will also have to fix some other references (like that to Anders Kock’s work) which currently just appear as placeholders.
And I also wanted to include a reference to our paper-in-preparation on the “canonical 2-rep”. This, too, will now have to wait until the weekend.
(By the way, Alissa said something about possibly visiting me in Hamburg in July for finishing that paper. But I am not sure when exactly. I’ll be on vacation for two weeks in the middle of July.)
(though not as much of it).
Even though there is already a lot of stuff in these notes, a glaring omission is that I don’t discuss how to impose the Cartan conditions on these String and Chern-Simons connections that appear towards the end. This will involve finding total spaces of string bundles characterized by “principal” actions of the Lie algebra of derivation of the Baez-Crans Lie algebra.
I was looking for literature on this for the ordinary case, but didn’t find any. Maybe you can help me:
given a space and a Lie algebra and an “action” of on in the form of a Lie algebra morphism I want to say what it means for this action to be “principal”.
I think I know how to do this, but this must be in the literature somewhere.
Not quite sure what you are asking:
principal is usually in the context of
a bundle
so for your $g\to \Gamma(TP)$
you would want to have some notion of
`vertical’ tangent vectors and the action
of g on each `fibre’ should be the standard
ad rep
or is the problem precisely removing the
` ’
above?
Not quite sure what you are asking:
We need to reformulate the fact that the action on a bundle is principal equivalently in terms of properties of its differential
What I thought is this:
that the action is free should translate into being a nowhere vanishing vector field, for all .
That the quotient is base space should translate into the fact that spans the kernenl of pointwise.
So, my idea was that principality of the action should be “pointwise” exactness of this sequence
Maybe what I really mean by that is exactness of for each fixed .
Or, what I actually mean is maybe ordinary exactness of but regarded as a sequence of -modules.
That’s why I was asking for literature. I had the feeling that this is the way to go, but felt unsure about how to formulate it best.
Re: Connections on String-2-Bundles
I see you’ve adopted a super-terse style now Urs. “How to get a spinning string from here to there in under sixty seconds” :-)